VHDL Code Generation in the Ptolemy II Environment

نویسندگان

  • Man-Kit Leung
  • Terry Esther Filiba
  • Vinayak Nagpal
  • Terry Filiba
چکیده

It is becoming increasingly popular to describe real time signal proessing systems targetted for FPGA or ASIC implementation using structural signal flow graphs. We have implemented support for generation of synthesizeable as well as testbench VHDL code from Ptolemy II models. A helper based approach borrowing heavily from the existing Ptolemy II C code generation framework is used. This work demonstrates the extensibility of the helper based codegeneration approach and sets the stage for future research in synthesis of efficient hardware descriptions from heterogenous visual models.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Transformation and VHDL Code Generation from Coarse-grained Dataflow Graph

This paper discusses how we generate VHDL codes for DSP applications described in data ow graphs. Because the generated VHDL code implements the details of the control structure we can easily transform it into a running circuit without any modi cation, using logic synthesis tools. To improve the quality of the synthesized circuit we apply some graph transformation techniques to an original data...

متن کامل

Code Generation for Discrete Event Controllers in Ptolemy II

The goal of this project is to provide a code generation framework for discrete event (DE) control models for cyberphysical systems (CPS) in Ptolemy II [1]. This framework should be as generic and platform independent as possible. The generated code should be tested on a target platform. Ptolemy offers the possibility to embed the generated code into the simulation environment. The generated co...

متن کامل

Synthesizable Vhdl Code Generation from Data Flow Graph

This paper discusses how we generate a VHDL code for a DSP application described in a data ow graph(DFG). Because the generated VHDL code contains only synthesizable constructs and implements details of control logics we can easily transform it into a running hardware module using logic synthesis tools. This facility is very useful for DFG based high level system design tools including our code...

متن کامل

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude

This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in RealTime Maude the semantics of a subset of hierarchical Ptolemy II DE models, and explain how the code generation infrastructure of Ptolemy II has been used to automatically synthesize a Real-Time Maude verification model from a Ptolemy II design model. This enables a mode...

متن کامل

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude

This paper defines a real-time rewriting logic semantics for a significant subset of Ptolemy II discreteevent models. This is a challenging task, since such models combine a synchronous fixed-point semantics with hierarchical structure, explicit time, and a rich expression language. The code generation features of Ptolemy II have been leveraged to automatically synthesize a Real-Time Maude veri...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006